Formal proof
[計] 形式證明, 形式證法
?? 詞語組成解析
formal
['f?:m?l]
adj. （學校教育或培訓）正規的;方式上的;禮儀上的;
n. <美>須穿禮服的社交集會;<口>夜禮服;
proof
[pruf]
n. 證明;校樣;檢驗;（酒的）標準酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 給（織物）做防護處理，使防水（或防火等）;印…的校樣;
vi. [印刷術] 校對;發酵;
prob, prov Prob, prov= test, 表示”測試,證明, 檢驗”
??? 情景例句
to remember me by.
讓她看到東西就想到我。
A light purse is a heavy curse.
為人無錢處處難。
Then she introduced us to Carlos and told us they would get married next week'.
然后她把我們介紹給卡洛斯，并告訴我們說他們下星期結婚。”